منابع مشابه
Ikoma Lyssavirus, Highly Divergent Novel Lyssavirus in an African Civet1
Evidence in support of a novel lyssavirus was obtained from brain samples of an African civet in Tanzania. Results of phylogenetic analysis of nucleoprotein gene sequences from representative Lyssavirus species and this novel lyssavirus provided strong empirical evidence that this is a new lyssavirus species, designated Ikoma lyssavirus.
متن کاملClosed nominal rewriting and efficiently computable nominal
We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...
متن کاملIKOMA at TAC2010: Textual Entailment System using Local-Novelty Detection
This paper reports the Recognizing Textual Entailment (RTE) system that our ‘IKOMA team’ developed at TAC 2010. We implemented a new method that identifies entailment sentences using local-novelty detection. This method determines whether a Hypothesis (H) is local-novel. ‘H is local-novel’ means that H is the new information first appeared in TH , and TH denotes the text (T) that entails H. If ...
متن کاملNominal Algebra
Universal algebra [5, 9, 4] is the theory of equalities t = u. It is a simple framework within which we can study mathematical structures, for example groups, rings, and fields. It has also been applied to study the mathematical properties of mathematical truth and computability. For example boolean algebras correspond to classical truth, heyting algebras correspond to intuitionistic truth, cyl...
متن کاملNominal Narrowing
Nominal unification is a generalisation of first-order unification that takes α-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal E-unification procedure, which is sound and complete for a wide class of equational theories. We give examples of application. 1998 ACM Subject Clas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Africana Linguistica
سال: 2010
ISSN: 2033-8732
DOI: 10.3406/aflin.2010.986